Skip to content

Conversation

dimodi
Copy link
Contributor

@dimodi dimodi commented Aug 5, 2025

No description provided.

@dimodi dimodi requested a review from a team as a code owner August 5, 2025 10:27
@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Aug 5, 2025
Copy link
Contributor

github-actions bot commented Aug 5, 2025

Hello @dimodi,

Check the below option if you would like to automatically generate PR to production. The automation uses the branch for the cherry-pick, and then will delete the branch. Please, do not delete it manually.

  • create PR to production

@dimodi dimodi merged commit d94b0d3 into master Aug 5, 2025
Copy link
Contributor

github-actions bot commented Aug 5, 2025

Here you are the link to your PR to production: #3157

@github-actions github-actions bot deleted the dropdowns-disabled-items branch August 5, 2025 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge-to-production Use this label to get a comment to choose whether to merge the PR to production
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants